Control Law for Timed Marked Graph Constrained by Marking Exclusion Constraint or / And
نویسندگان
چکیده
We have already presented a contribution for synthesizing an approach of supervisory control for Discrete Event Systems (DES) modeled by Timed Place Marked Graphs subject to Marking Exclusion Constraint. This paper is a continuation work in this area for building the control law for Discrete Event Systems (DES), where the time is taken in consideration. It solves a forbidden state problems characterized by one of the both types of Marking Exclusion Constraint: MEC-Or and MEC-And. A computationally efficient technique to build the supervisor is proposed, which we take in consideration in the uncontrollable and/or unobservable nature of some events. From the initial state (as known marking), we build time-tables that show us the timeline of tokens distribution over the system. These time-tables help us to build a Control Law Table (CLT), by analyzing this table the supervisor may determine the moment of its intervention.
منابع مشابه
Simple and Constrained Selection Indices with and without Calving Interval Included in Selection Goal Function for Holstein Cows of Iran
Two selection goals of inclusion or exclusion of calving interval (CI) in the selection goal function for Holstein cows in Iran, besides milk yield, milk fat percentage, and milk protein percentage, were studied. Four selection indices were composed of using the information on production traits, CI and / or days from calving to first insemination (DFI). The results of the predicted genetic grow...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملAn improved genetic algorithm for multidimensional optimization of precedence-constrained production planning and scheduling
Integration of production planning and scheduling is a class of problems commonly found in manufacturing industry. This class of problems associated with precedence constraint has been previously modeled and optimized by the authors, in which, it requires a multidimensional optimization at the same time: what to make, how many to make, where to make and the order to make. It is a combinatorial,...
متن کاملDesign of a Constrained Nonlinear Controller using Firefly Algorithm for Active Suspension System
Active vehicle suspension system is designed to increase the ride comfort and road holding of vehicles. Due to limitations in the external force produced by actuator, the design problem encounters the constraint on the control input. In this paper, a novel nonlinear controller with the input constraint is designed for the active suspension system. In the proposed method, at first, a constrained...
متن کاملComments on "feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system"
This paper addresses the forbidden-state problem of general marked graphs with uncontrollable transitions. The models need not to be safe nor cyclic. Control requirements are expressed as the conjunction of general mutual exclusion constraints (GMEC) of markings of so-called critical places. Structural properties such as influence paths and influence zones are proposed to perform the worst-case...
متن کامل